COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	comment. Airport axioms involving rationality.
C00003 ENDMK
C⊗;
comment. Airport axioms involving rationality.

axiom rationality:	∀ person goal action s.(
true(wants(person,goal),s) ∧ knows(person,holds(goal,result(action,s)),s)
	⊃ occurs(does(person,action),s))
;;

axiom achieve:
	∀ p g a s.(wants(p,g,s) ∧ causes(does(p,a),g,s) ⊃ should(p,a,s))
;;